Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1254 results
Sort by: relevance publication year

BPMN-E2: a BPMN extension for an enhanced workflow description

JOURNAL ARTICLE published August 2019 in Software & Systems Modeling

Authors: Mateo Ramos-Merino | Juan M. Santos-Gago | Luis M. Álvarez-Sabucedo | Victor M. Alonso-Roris | Javier Sanz-Valero

Empirical evaluation of CMMN models: a collaborative process case study

JOURNAL ARTICLE published November 2020 in Software and Systems Modeling

Research funded by European Commission (LIF14 ENV/GR/000858)

Authors: Ioannis Routis | Mara Nikolaidou | Dimosthenis Anagnostopoulos

Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model

JOURNAL ARTICLE published 1 September 2002 in Software and Systems Modeling

Authors: Andreas L. Opdahl | Brian Henderson-Sellers

A case study on consistency management of business and IT process models in banking

JOURNAL ARTICLE published July 2014 in Software & Systems Modeling

Authors: Moisés Castelo Branco | Yingfei Xiong | Krzysztof Czarnecki | Jochen Küster | Hagen Völzer

Contract-based modeling and verification of timed safety requirements within SysML

JOURNAL ARTICLE published May 2017 in Software & Systems Modeling

Authors: Iulia Dragomir | Iulian Ober | Christian Percebois

Correction to: Evaluation of a machine learning classifier for metamodels

JOURNAL ARTICLE published December 2021 in Software and Systems Modeling

Authors: Phuong T. Nguyen | Juri Di Rocco | Ludovico Iovino | Davide Di Ruscio | Alfonso Pierantonio

Guest Editorial to the Special Issue on MoDELS 2006

JOURNAL ARTICLE published October 2008 in Software & Systems Modeling

Authors: Oscar Nierstrasz | Jon Whittle

Software engineering methods in other engineering disciplines

JOURNAL ARTICLE published May 2018 in Software & Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

Integration of DFDs into a UML-based Model-driven Engineering Approach

JOURNAL ARTICLE published 22 November 2006 in Software & Systems Modeling

Authors: João M. Fernandes | Johan Lilius | Dragos Truscan

Formalization of UML state machines using temporal logic

JOURNAL ARTICLE published March 2004 in Software & Systems Modeling

Authors: Carlos Rossi | Manuel Enciso | Inmaculada P. de Guzmán

Empirical study on the effectiveness and efficiency of model-driven architecture techniques

JOURNAL ARTICLE published October 2019 in Software & Systems Modeling

Research funded by Ministry of Science and Technology (MOST 106-2221-E-143-005)

Authors: Shin-Shing Shin

Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts

JOURNAL ARTICLE published April 2006 in Software & Systems Modeling

Authors: Peter Scholz

Efficient analysis of pattern-based constraint specifications

JOURNAL ARTICLE published April 2010 in Software & Systems Modeling

Authors: Michael Wahler | David Basin | Achim D. Brucker | Jana Koehler

SEFM: software engineering and formal methods

JOURNAL ARTICLE published February 2015 in Software & Systems Modeling

Authors: Gilles Barthe | Alberto Pardo | Gerardo Schneider

Editorial for the SoSyM issue 2006/02

JOURNAL ARTICLE published June 2006 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe

On the complex nature of MDE evolution and its impact on changeability

JOURNAL ARTICLE published May 2017 in Software & Systems Modeling

Authors: Regina Hebig | Holger Giese

In memory of Bernhard Schätz, long- time friend and SoSyM editor

JOURNAL ARTICLE published February 2018 in Software & Systems Modeling

Authors: Manfred Broy | Bernhard Rumpe

Meta-modelling and graph grammars for multi-paradigm modelling in AToM3

JOURNAL ARTICLE published August 2004 in Software & Systems Modeling

Authors: Juan de Lara | Hans Vangheluwe | Manuel Alfonseca

A benchmark for OCL engine accuracy, determinateness, and efficiency

JOURNAL ARTICLE published May 2012 in Software & Systems Modeling

Authors: Mirco Kuhlmann | Lars Hamann | Martin Gogolla | Fabian Büttner

Guest editorial

JOURNAL ARTICLE published 1 March 2003 in Software and Systems Modeling

Authors: Martin Glinz | G�nther M�ller-Luschnat